/**
 * Created by IntelliJ IDEA.
 * User: Administrator
 * Date: Dec 31, 2009
 * Time: 11:05:03 AM
 * To change this template use File | Settings | File Templates.
 */
class MemoKey
{

    public MemoKey(Boolexp boolexp, Context context1)
    {
        exp = boolexp;
        context = context1;
    }

    public boolean equals(Object obj)
    {
        if(!(obj instanceof MemoKey))
        {
            return false;
        } else
        {
            MemoKey memokey = (MemoKey)obj;
            return exp == memokey.exp && context.equals(memokey.context);
        }
    }

    public int hashCode()
    {
        return exp.hashCode() + 9 * context.hashCode();
    }

    Boolexp exp;
    Context context;
}

